Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
251	CALL FOR PAPERS Tenth International Conference on TYPED LAMBDA CALCULUS AND APPLICATIONS (TLCA1st – 3rd June 2011, Novi Sad, Serbia http://www.rdp2011.uns.ac.rs/tlca/index.html Add to Reading List Source URL: www.rdp2011.uns.ac.rs Language: English - Date: 2010-10-12 08:12:02
252	Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2015-07-02 10:00:20 Type theory Computability theory Functional programming Theoretical computer science Recursion Initial algebra Lambda calculus Primitive recursive function Inductive type Catamorphism F-algebra
253	Polynomial Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Kazutaka Matsuda (Tohoku University) Kazuhiro Inaba (National Institute of Informatics) Keisuke Nakano (the University of Elec Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: English* - Date: 2013-05-31 02:47:36 Lambda calculus Currying Functional programming Equation solving Logarithm Z-transform
254	A Theory of Indirection via Approximation Aquinas Hobor ∗† Robert Dockins† Andrew W. Appel † Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-11-03 14:04:21 Mathematical logic Software engineering Logic Formal languages Computability theory Models of computation Lambda calculus Formal methods Interpretation Syntactic predicate System F Monad
255	Pure Type Systems revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-11-14 12:39:58 Lambda calculus Type theory Combinatory logic Pure type system Lambda cube Fixed-point combinator Calculus of constructions Explicit substitution Natural deduction
256	Lambda-calculus and Combinators in the 20th Century ∗ Felice Cardone †, J. Roger Hindley Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2009-06-20 06:40:09
257	Scala for TAPL’ers Part 2 Ilya Sergey Substitutions vs Closures Parsing Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Software engineering Computing Computer programming Lambda calculus Automated theorem proving Logic programming Subroutines Logic in computer science Substitution Closure Free variables and bound variables Term
258	Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:41 Logic Theoretical computer science Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol General topology Cartesian closed category Lambda calculus
259	Logical Methods in Computer Science Volume 00, Number 0, Pages 000–000 SXX λ -RBAC: PROGRAMMING WITH ROLE-BASED ACCESS CONTROL RADHA JAGADEESAN, ALAN JEFFREY, CORIN PITCHER, AND JAMES RIELY Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:38:34 Type theory Algebraic geometry Computability theory Lambda calculus Theoretical computer science Role-based access control Valuation Subtyping Monad CurryHoward correspondence
260	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 12:32:31

UPDATE